Adequate Subgroups

Let l be a prime, and let Γ be a finite subgroup of GLn(Fl) = GL(V ). With these assumptions we say that Condition (C) holds if for every irreducible Γ-submodule W ⊂ ad V there exists an element g ∈ Γ with an eigenvalue α such that tr eg,αW 6= 0. Here, eg,α denotes the projection to the generalised α-eigenspace of g. This condition arises in the definition of adequacy in section 2. Let Γ denote the subset of Γ consisting of the elements that are semisimple (i.e. of order prime to l).